REF, NoConds \\[0ex](Assert $a$ BY $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(Assert $a$) THENL [($b$); Id]$\cdot$